\analyzing Concurrent and Fault-tolerant Software Using Stochastic Petri Nets,"

19 to both control the uid ow, and have the discrete control decisions be aaected by observed uid ow. We have provided formal deenition of FSPNs and developed the rules for their dynamic evolution. We have derived coupled systems of partial diierential equations for the transient and the steady-state behavior of FSPNs. Spectral representation of the FSPNs with a single continuous place can be adapted from the literature on stochastic uid ow models. We have presented a number of examples illustrating the modeling power of FSPNs, have considered issues arising in the numerical solution of the dynamical equations, and have provided numerically solved examples. \Automated generation and analysis of Markov reward models using Stochastic Reward Nets," in C. Meyer and R.